A Formal Model for Weakly-structured Scientific Workflows
نویسندگان
چکیده
This paper gives a Concurrent Transaction Logic (CT R)based formal model for Weakly-structured Scientific Workflows (WsSWFs) and further implements it in an open source rule language Prova. Compared with the related efforts, the formal model in this paper focuses on conversation-based reactive workflow logic representation and event-driven computation of complex event patterns.
منابع مشابه
Process Makna - A Semantic Wiki for Scientific Workflows
Virtual e-Science infrastructures supporting Web-based scientific workflows are an example for knowledge-intensive collaborative and weakly-structured processes where the interaction with the human scientists during process execution plays a central role. In this paper we propose the lightweight dynamic user-friendly interaction with humans during execution of scientific workflows via the low-b...
متن کاملEnd user driven business process composition
Business Process Management (BPM) solutions enable enterprises to consolidate and optimize their business operations and to gain competitive advantage in the fast evolving global market. Often, the only ones to understand the matter and complexity of business processes are the end users of enterprise software, who execute them on a daily basis. The need to involve end users in business process ...
متن کاملFrom Personal Task Management to End-User Driven Business Process Modeling
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent process models which are better turned to users’ needs and organizational changes. Despite the variety of tools and notations, process modeling remains hardly accessible for business users, who lack advanced technica...
متن کاملActor-Oriented Design of Scientific Workflows
Scientific workflows are becoming increasingly important as a unifying mechanism for interlinking scientific data management, analysis, simulation, and visualization tasks. Scientific workflow systems are problem-solving environments, supporting scientists in the creation and execution of scientific workflows. While current systems permit the creation of executable workflows, conceptual modelin...
متن کاملWeakly-structured Workflows for Knowledge-intensive Tasks: An Experimental Evaluation
Knowledge-intensive activities can typically not be modeled sufficiently by classical, static process models and workflows. To enable a process-oriented knowledge management approach under these circumstances, the concept of weakly-structured workflows has been developed. This approach integrates process modeling and workflow enactment and facilitates active information support in dynamically c...
متن کامل